trivial subgroup is normal